29. AAAI 2015: Austin, Texas, USA
Blai Bonet, Sven Koenig:
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. AAAI Press 2015, ISBN 978-1-57735-698-1
AI and the Web
Takuya Akiba, Takanori Hayashi, Nozomi Nori, Yoichi Iwata, Yuichi Yoshida:
Efficient Top-k Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling. 2-8
Mustafa Al-Bakri, Manuel Atencia, Steffen Lalande, Marie-Christine Rousset:
Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach. 9-15
Jun Chen, Chaokun Wang, Jianmin Wang:
A Personalized Interest-Forgetting Markov Model for Recommendations. 16-22
Jun Chen, Chaokun Wang, Jianmin Wang:
Will You "Reconsume" the Near Past? Fast Prediction on Short-Term Reconsumption Behaviors. 23-29
Tao Chen, Hany M. SalahEldeen, Xiangnan He, Min-Yen Kan, Dongyuan Lu:
VELDA: Relating an Image Tweet's Text and Images. 30-36
Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai:
On Information Coverage for Location Category Based Point-of-Interest Recommendation. 37-43
Yan-Ying Chen, Yin-Hsi Kuo, Chun-Che Wu, Winston H. Hsu:
Visually Interpreting Names as Demographic Attributes by Exploiting Click-Through Data. 44-50
Belkacem Chikhaoui, Mauricio Chiazzaro, Shengrui Wang:
A New Granger Causal Model for Influence Evolution in Dynamic Social Networks: The Case of DBLP. 51-57
Peng Cui, Tianyang Zhang, Fei Wang, Peng He:
Perceiving Group Themes from Collective Social and Behavioral Information. 65-71
Aron Culotta, Nirmal Ravi Kumar, Jennifer Cutler:
Predicting the Demographics of Twitter Users from Website Traffic Data. 72-78
Wei Dai, Abhimanu Kumar, Jinliang Wei, Qirong Ho, Garth A. Gibson, Eric P. Xing:
High-Performance Distributed ML at Scale through Parameter Server Consistency Models. 79-87
Jiwei Ding, Wentao Ding, Wei Hu, Yuzhong Qu:
An EBMC-Based Approach to Selecting Types for Entity Filtering. 88-94
Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens:
Extended Property Paths: Writing More SPARQL Queries in a Succinct Way. 102-108
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. 109-115
Kalpa Gunaratna, Krishnaprasad Thirunarayan, Amit P. Sheth:
FACES: Diversity-Aware Entity Summarization Using Incremental Hierarchical Conceptual Clustering. 116-122
Guibing Guo, Jie Zhang, Neil Yorke-Smith:
TrustSVD: Collaborative Filtering with Both the Explicit and Implicit Influence of User Trust and of Item Ratings. 123-129
Dongxiao He, Dayou Liu, Di Jin, Weixiong Zhang:
A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks. 130-136
Xian-Sheng Hua, Jin Li:
Prajna: Towards Recognizing Whatever You Want from Images without Image Labeling. 137-144
Mans Hulden, Miikka Silfverberg, Jerid Francom:
Kernel Density Estimation for Text-Based Geolocation. 145-150
Cheng Jin, Wenhui Mao, Ruiqi Zhang, Yuejie Zhang, Xiangyang Xue:
Cross-Modal Image Clustering via Canonical Correlation Analysis. 151-159
Di Jin, Zheng Chen, Dongxiao He, Weixiong Zhang:
Modeling with Node Degree Preservation Can Accurately Find Communities. 160-167
Seungyeon Kim, Joonseok Lee, Guy Lebanon, Haesun Park:
Estimating Temporal Dynamics of Human Emotions. 168-174
Patrick Koopmann, Renate A. Schmidt:
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. 175-181
Virgile Landeiro Dos Reis, Aron Culotta:
Using Matched Samples to Estimate the Effects of Exercise on Mental Health via Twitter. 182-188
He Liu, Hongliang Yu, Zhi-Hong Deng:
Multi-Document Summarization Based on Two-Level Sparse Representation Model. 196-202
Qiang Liu, Shu Wu, Liang Wang:
COT: Contextual Operating Tensor for Context-Aware Recommender Systems. 203-209
Weiwei Liu, Zhi-Hong Deng, Xiuwen Gong, Frank Jiang, Ivor W. Tsang:
Effectively Predicting Whether and When a Topic Will Become Prevalent in a Social Network. 210-216
Zhongqi Lu, Zhicheng Dou, Jianxun Lian, Xing Xie, Qiang Yang:
Content-Based Collaborative Filtering for News Topic Recommendation. 217-223
Zongyang Ma, Aixin Sun, Quan Yuan, Gao Cong:
A Tri-Role Topic Model for Domain-Specific Question Answering. 224-230
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Handling Owl: sameAs via Rewriting. 231-237
Stephen Mussmann, John Moore, Joseph John Pfeiffer III, Jennifer Neville:
Incorporating Assortativity and Degree Dependence into Scalable Network Models. 238-246
Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. 247-253
Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang:
Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. 254-260
Suhas Ranganath, Jiliang Tang, Xia Hu, Hari Sundaram, Huan Liu:
Leveraging Social Foci for Information Seeking in Social Media. 261-267
Marie-Christine Rousset, Federico Ulliana:
Extracting Bounded-Level Modules from Deductive RDF Triplestores. 268-274
Yikang Shen, Wenge Rong, Zhiwei Sun, Yuanxin Ouyang, Zhang Xiong:
Question/Answer Matching for CQA System via Combining Lexical and Sequential Information. 275-281
Sigal Sina, Avi Rosenfeld, Sarit Kraus, Navot Akiva:
A Hybrid Approach of Classifier and Clustering for Solving the Missing Node Problem. 282-289
Dongjin Song, David A. Meyer:
Recommending Positive Links in Signed Social Networks by Optimizing a Generalized AUC. 290-296
Wei Sun, Pengyuan Wang, Dawei Yin, Jian Yang, Yi Chang:
Causal Inference via Sparse Additive Models with Application to Online Advertising. 297-303
Jie Tang, Chenhui Zhang, Keke Cai, Li Zhang, Zhong Su:
Sampling Representative Users from Large Social Networks. 304-310
Goutham Tholpadi, Mrinal Kanti Das, Trapit Bansal, Chiranjib Bhattacharyya:
Relating Romanized Comments to News Articles by Inferring Multi-Glyphic Topical Correspondence. 311-317
Jinpeng Wang, Gao Cong, Wayne Xin Zhao, Xiaoming Li:
Mining User Intents in Twitter: A Semi-Supervised Approach to Inferring Intent Categories for Tweets. 318-324
Senzhang Wang, Zhao Yan, Xia Hu, Philip S. Yu, Zhoujun Li:
Burst Time Prediction in Cascades. 325-331
Xiangyu Wang, Dayu He, Danyang Chen, Jinhui Xu:
Clustering-Based Collaborative Filtering for Link Prediction. 332-338
Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou:
Mining Query Subtopics from Questions in Community Question Answering. 339-345
Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo:
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. 346-352
Xiaohui Yan, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng:
A Probabilistic Model for Bursty Topic Discovery in Microblogs. 353-359
Yang Yang, Jie Tang, Cane Wing-ki Leung, Yizhou Sun, Qicong Chen, Juanzi Li, Qiang Yang:
RAIN: Social Role-Aware Information Diffusion. 367-373
Weilong Yao, Jing He, Hua Wang, Yanchun Zhang, Jie Cao:
Collaborative Topic Ranking: Leveraging Item Meta-Data for Sparsity Reduction. 374-380
Quanzeng You, Jiebo Luo, Hailin Jin, Jianchao Yang:
Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks. 381-388
Chenyi Zhang, Ke Wang, Ee-Peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu:
Are Features Equally Representative? A Feature-Centric Recommendation. 389-395
Hongyi Zhang, Irwin King, Michael R. Lyu:
Incorporating Implicit Link Preference Into Overlapping Community Detection. 396-402
Qi Zhang, Yeyun Gong, Ya Guo, Xuanjing Huang:
Retweet Behavior Prediction Using Hierarchical Dirichlet Process. 403-409
Weinan Zhang, Zhaoyan Ming, Yu Zhang, Ting Liu, Tat-Seng Chua:
Exploring Key Concept Paraphrasing Based on Pivot Language Translation for Question Retrieval. 410-416
Xinjie Zhou, Xiaojun Wan, Jianguo Xiao:
Representation Learning for Aspect Category Detection in Online Reviews. 417-424
Applications
Virginia Ortiz Andersson, Ricardo Matsumura de Araújo:
Person Identification Using Anthropometric and Gait Data from Kinect Sensor. 425-431
Sarah M. Erfani, Mahsa Baktashmotlagh, Sutharshan Rajasegarar, Shanika Karunasekera, Christopher Leckie:
R1SVM: A Randomised Nonlinear Approach to Large-Scale Anomaly Detection. 432-438
Xiaomin Fang, Rong Pan, Guoxiang Cao, Xiuqiang He, Wenyuan Dai:
Personalized Tag Recommendation through Nonlinear Tensor Factorization Using Gaussian Kernel. 439-445
Marzyeh Ghassemi, Marco A. F. Pimentel, Tristan Naumann, Thomas Brennan, David A. Clifton, Peter Szolovits, Mengling Feng:
A Multivariate Timeseries Modeling Approach to Severity of Illness Assessment and Forecasting in ICU with Sparse, Heterogeneous Clinical Data. 446-453
Fei Mi, Dit-Yan Yeung:
Probabilistic Graphical Models for Boosting Cardinal and Ordinal Peer Grading in MOOCs. 454-460
Piotr Lech Szczepanski, Mateusz Krzysztof Tarkowski, Tomasz Pawel Michalak, Paul Harrenstein, Michael Wooldridge:
Efficient Computation of Semivalues for Game-Theoretic Network Centrality. 461-469
Yongqing Wang, Huawei Shen, Shenghua Liu, Xueqi Cheng:
Learning User-Specific Latent Influence and Susceptibility from Information Cascades. 477-484
Cognitive Modeling
David Balduzzi, Hastagiri Vanchinathan, Joachim M. Buhmann:
Kickback Cuts Backprop's Red-Tape: Biologically Plausible Credit Assignment in Neural Networks. 485-491
Josefina Sierra-Santibáñez:
An Agent-Based Model of the Emergence and Transmission of a Language System for the Expression of Logical Combinations. 492-500
Cognitive Systems
Joseph A. Blass, Kenneth D. Forbus:
Moral Decision-Making by Analogy: Generalizations versus Exemplars. 501-507
Erik Cambria, Jie Fu, Federica Bisio, Soujanya Poria:
AffectiveSpace 2: Enabling Affective Intuition for Concept-Level Sentiment Analysis. 508-514
JungWoo Ha, Kyung-Min Kim, Byoung-Tak Zhang:
Automated Construction of Visual-Linguistic Knowledge via Concept Learning from Cartoon Videos. 522-528

Justin Li, John E. Laird:
Spontaneous Retrieval from Long-Term Memory for a Cognitive Architecture. 544-550
Chen Liang, Kenneth D. Forbus:
Learning Plausible Inferences from Semantic Web Knowledge by Combining Analogical Generalization with Structured Logistic Regression. 551-557
Peter Lindes, Deryle W. Lonsdale, David W. Embley:
Ontology-Based Information Extraction with a Cognitive Agent. 558-564
Matthew D. McLure, Scott E. Friedman, Kenneth D. Forbus:
Extending Analogical Generalization with Near-Misses. 565-571
Marjorie McShane, Petr Babkin:
Automatic Ellipsis Resolution: Recovering Covert Information from Text. 572-578
Daniel R. Schlegel, Stuart C. Shapiro:
Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. 579-585
Miaolong Yuan, Bo Tian, Vui Ann Shim, Huajin Tang, Haizhou Li:
An Entorhinal-Hippocampal Model for Simultaneous Cognitive Map Building. 586-592
Keyang Zhang, Kenny Q. Zhu, Seung-won Hwang:
An Association Network for Computing Semantic Relatedness. 593-600
Computational Sustainability and AI
Saima Aman, Charalampos Chelmis, Viktor K. Prasanna:
Influence-Driven Model for Time Series Prediction from Partial Observations. 601-607
Filippo Bistaffa, Alessandro Farinelli, Sarvapali D. Ramchurn:
Sharing Rides with Friends: A Coalition Formation Algorithm for Ridesharing. 608-614
Frits de Nijs, Matthijs T. J. Spaan, Mathijs de Weerdt:
Best-Response Planning of Thermostatically Controlled Loads under Power Constraints. 615-621
John P. Dickerson, Tuomas Sandholm:
FutureMatch: Combining Human Value Judgments and Machine Learning to Match in Dynamic Environments. 622-628
Ehsan Elhamifar, Shankar Sastry:
Energy Disaggregation via Learning Powerlets and Sparse Coding. 629-635
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. 636-643
Stefano Ermon, Yexiang Xue, Russell Toth, Bistra N. Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes:
Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. 644-650
Vitor Campanholo Guizilini, Fabio Tozeto Ramos:
A Nonparametric Online Model for Air Quality Prediction. 651-657
Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck:
Power System Restoration With Transient Stability. 658-664
Micha Kahlen, Wolfgang Ketter:
Aggregating Electric Cars to Sustainable Virtual Power Plants: The Value of Flexibility in Future Electricity Markets. 665-671
Liangda Li, Hongyuan Zha:
Energy Usage Behavior Modeling in Energy Disaggregation via Marked Hawkes Process. 672-678
BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
HVAC-Aware Occupancy Scheduling. 679-686
Athanasios Aris Panagopoulos, Georgios Chalkiadakis, Nicholas Robert Jennings:
Towards Optimal Solar Tracking: A Dynamic Programming Approach. 695-701
Sandhya Saisubramanian, Pradeep Varakantham, Hoong Chuin Lau:
Risk Based Optimization for Improving Emergency Medical Systems. 702-708
Bochao Shen, Balakrishnan Narayanaswamy, Ravi Sundaram:
SmartShift: Expanded Load Shifting Incentive Mechanism for Risk-Averse Consumers. 716-722
Adish Singla, Marco Santoni, Gábor Bartók, Pratik Mukerji, Moritz Meenen, Andreas Krause:
Incentivizing Users for Balancing Bike Sharing Systems. 723-729
Xuan Song, Quanshi Zhang, Yoshihide Sekimoto, Ryosuke Shibasaki, Nicholas Jing Yuan, Xing Xie:
A Simulator of Human Emergency Mobility Following Disasters: Knowledge Transfer from Big Disaster Data. 730-736
Alexander David Styler, Illah Reza Nourbakhsh:
Real-Time Predictive Optimization for Energy Management in a Hybrid Electric Vehicle. 737-744
Game Playing and Interactive Entertainment
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. 745-752
Quentin Galvane, Rémi Ronfard, Christophe Lino, Marc Christie:
Continuity Editing for 3D Animation. 753-762
Game Theory and Economic Paradigms
Michael Albert, Vincent Conitzer, Giuseppe Lopomo:
Assessing the Robustness of Cremer-McLean with Automated Mechanism Design. 763-769
Kareem Amin, Rachel Cummings, Lili Dworkin, Michael J. Kearns, Aaron Roth:
Online Learning and Profit Maximization from Revealed Preferences. 770-776
Elliot Anshelevich, Onkar Bhardwaj, John Postl:
Approximating Optimal Social Choice under Metric Preferences. 777-783
Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh:
Justified Representation in Approval-Based Committee Voting. 784-790
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha:
Audit Games with Multiple Defender Resources. 791-797
Avrim Blum, Yishay Mansour, Jamie Morgenstern:
Learning Valuation Distributions from Partial Observation. 798-804
Branislav Bosanský, Jiri Cermak:
Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games. 805-811
Branislav Bosanský, Albert Xin Jiang, Milind Tambe, Christopher Kiekintveld:
Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies. 812-818
Benedikt Bünz, Sven Seuken, Benjamin Lubin:
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions. 827-834
Mithun Chakraborty, Sanmay Das, Justin Peabody:
Price Evolution in a Continuous Double Auction Prediction Market With a Scoring-Rule Based Market Maker. 835-841

John A. Doucette, Kate Larson, Robin Cohen:
Conventional Machine Learning for Social Choice. 858-864
Edith Elkind, Piotr Faliszewski, Martin Lackner, Svetlana Obraztsova:
The Complexity of Recognizing Incomplete Single-Crossing Preferences. 865-871
Uriel Feige, Michal Feldman, Nicole Immorlica, Rani Izsak, Brendan Lucier, Vasilis Syrgkanis:
A Unifying Hierarchy of Valuations with Complements and Substitutes. 872-878
Diodato Ferraioli, Carmine Ventre, Gabor Aranyi:
A Mechanism Design Approach to Measure Awareness. 886-892
Aris Filos-Ratsikas, Minming Li, Jie Zhang, Qiang Zhang:
Facility Location with Double-Peaked Preferences. 893-899
Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo:
A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences. 907-913
Chen Hajaj, John P. Dickerson, Avinatan Hassidim, Tuomas Sandholm, David Sarne:
Strategy-Proof and Efficient Kidney Exchange Using a Credit Mechanism. 921-928


Ryoji Kurata, Masahiro Goto, Atsushi Iwasaki, Makoto Yokoo:
Controlled School Choice with Soft Bounds and Overlapping Types. 951-957
Aron Laszka, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos:
Optimal Personalized Filtering Against Spear-Phishing Attacks. 958-964
Omer Lev, Joel Oren, Craig Boutilier, Jeffrey S. Rosenschein:
The Pricing War Continues: On Competitive Multi-Item Pricing. 972-978
Yuqian Li, Vincent Conitzer:
Cooperative Game Solution Concepts that Maximize Stability under Noise. 979-985
Svetlana Obraztsova, Evangelos Markakis, Maria Polukarov, Zinovi Rabinovich, Nicholas R. Jennings:
On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be? 993-999
Zinovi Rabinovich, Svetlana Obraztsova, Omer Lev, Evangelos Markakis, Jeffrey S. Rosenschein:
Analysis of Equilibria in Iterative Voting Schemes. 1007-1013
Goran Radanovic, Boi Faltings:
Incentives for Subjective Evaluations with Private Beliefs. 1014-1020
Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
Envy-Free Cake-Cutting in Two Dimensions. 1021-1028
Paolo Serafino, Carmine Ventre:
Truthful Mechanisms without Money for Non-Utilitarian Heterogeneous Facility Location. 1029-1035
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael Wooldridge, Makoto Yokoo:
A Graphical Representation for Games in Partition Function Form. 1036-1042
Rohith Dwarakanath Vallam, Priyanka Bhatt, Debmalya Mandal, Y. Narahari:
A Stackelberg Game Approach for Incentivizing Participation in Online Educational Forums with Heterogeneous Student Population. 1043-1049
Haifeng Xu, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe:
Exploring Information Asymmetry in Two-Stage Security Games. 1057-1063
Dengji Zhao, Sarvapali D. Ramchurn, Enrico H. Gerding, Nicholas R. Jennings:
Balanced Trade Reduction for Dual-Role Exchange Markets. 1064-1070
Song Zuo, Pingzhong Tang:
Optimal Machine Strategies to Commit to in Two-Person Repeated Games. 1071-1078
Heuristic Search and Optimization
Hiromasa Arai, Crystal Maung, Haim Schweitzer:
Optimal Column Subset Selection by A-Star Search. 1079-1085
Joseph Kelly Barker, Richard E. Korf:
Limitations of Front-To-End Bidirectional Heuristic Search. 1086-1092
Nawal Benabbou, Patrice Perny:
Incremental Weight Elicitation for Multiobjective State Space Search. 1093-1099
Adi Botea, Ben Strasser, Daniel Harabor:
Complexity Results for Compressing Optimal Paths. 1100-1106
Katharina Eggensperger, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Efficient Benchmarking of Hyperparameter Optimizers via Surrogates. 1114-1120
Caroline Even, Victor Pillac, Pascal Van Hentenryck:
Convergent Plans for Large-Scale Evacuations. 1121-1127
Matthias Feurer, Jost Tobias Springenberg, Frank Hutter:
Initializing Bayesian Hyperparameter Optimization via Meta-Learning. 1128-1135
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi:
Stochastic Local Search for Satisfiability Modulo Theories. 1136-1143
Daisuke Hatano, Takuro Fukunaga, Takanori Maehara, Ken-ichi Kawarabayashi:
Lagrangian Decomposition Algorithm for Allocating Marketing Channels. 1144-1150
Matthew Hatem, Scott Kiesel, Wheeler Ruml:
Recursive Best-First Search with Bounded Overhead. 1151-1157
Carlos Hernández, Roberto Asín, Jorge A. Baier:
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain. 1158-1164
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. 1174-1181
Jincheng Mei, Kang Zhao, Bao-Liang Lu:
On Unconstrained Quasi-Submodular Function Optimization. 1191-1197
Seyed Hamid Mirisaee, Éric Gaussier, Alexandre Termier:
Improved Local Search for Binary Matrix Factorization. 1198-1204
Hossein Mobahi, John W. Fisher III:
A Theoretical Analysis of Optimization by Gaussian Continuation. 1205-1211
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet:
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. 1212-1218
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. 1219-1225
Shunji Umetani:
Exploiting Variable Associations to Configure Efficient Local Search in Large-Scale Set Partitioning Problems. 1226-1232
Emre Yamangil, Russell Bent, Scott Backhaus:
Resilient Upgrade of Electrical Distribution Grids. 1233-1240

Human-Computation and Crowd Sourcing
Praphul Chandra, Yadati Narahari, Debmalya Mandal, Prasenjit Dey:
Novel Mechanisms for Online Crowdsourcing with Unreliable, Strategic Agents. 1256-1262
Preethi Jyothi, Mark Hasegawa-Johnson:
Acquiring Speech Transcriptions Using Mismatched Crowdsourcing. 1263-1269
Diego Noble, Marcelo O. R. Prates, Daniel Bossle, Luís C. Lamb:
Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. 1277-1283
David Sanchez-Charles, Victor Muntés-Mulero, Marc Solé, Jordi Nin:
CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets. 1284-1290
Nihar B. Shah, Dengyong Zhou:
On the Impossibility of Convex Inference in Human Computation. 1291-1297
Long Tran-Thanh, Trung Dong Huynh, Avi Rosenfeld, Sarvapali D. Ramchurn, Nicholas R. Jennings:
Crowdsourcing Complex Workflows under Budget Constraints. 1298-1304
Han Yu, Chunyan Miao, Zhiqi Shen, Cyril Leung, Yiqiang Chen, Qiang Yang:
Efficient Task Sub-Delegation for Crowdsourcing. 1305-1312
Humans and AI

Ariel Rosenfeld, Sarit Kraus:
Providing Arguments in Discussions Based on the Prediction of Human Argumentative Behavior. 1320-1327
Biqiao Zhang, Emily Mower Provost, Robert Swedberg, Georg Essl:
Predicting Emotion Perception Across Domains: A Study of Singing and Speaking. 1328-1335
Integrated Systems
Abdeslam Boularias, James Andrew Bagnell, Anthony Stentz:
Learning to Manipulate Unknown Objects in Clutter by Reinforcement. 1336-1342
Goren Gordon, Cynthia Breazeal:
Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills. 1343-1349
GeunSik Jo, Kee-Sung Lee, Devy Chandra, Chol-Hee Jang, Myung-Hyun Ga:
RANSAC versus CS-RANSAC. 1350-1356
KinMing Kam, Shouyi Wang, Stephen R. Bowen, Wanpracha Art Chaovalitwongse:
Pattern-Based Variant-Best-Neighbors Respiratory Motion Prediction Using Orthogonal Polynomials Approximation. 1364-1370
Jean H. Oh, Arne Suppé, Felix Duvallet, Abdeslam Boularias, Luis E. Navarro-Serment, Martial Hebert, Anthony Stentz, Jerry Vinokurov, Oscar J. Romero, Christian Lebiere, Robert Dean:
Toward Mobile Robots Reasoning Like Humans. 1371-1379
Carlotta Schatten, Ruth Janning, Lars Schmidt-Thieme:
Integration and Evaluation of a Matrix Factorization Sequencer in Large Commercial ITS. 1380-1386
Tom Williams, Gordon Briggs, Bradley Oosterveld, Matthias Scheutz:
Going Beyond Literal Command-Based Instructions: Extending Robotic Natural Language Interaction Capabilities. 1387-1393
Shiqi Zhang, Peter Stone:
CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot. 1394-1400
Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz:
Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. 1401-1409
Knowledge Representation and Reasoning
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. 1410-1416
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. 1417-1423
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. 1431-1438
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang:
Partial Meet Revision and Contraction in Logic Programs. 1439-1445

Adrian Boteanu, Sonia Chernova:
Solving and Explaining Analogy Questions Using Semantic Networks. 1460-1466
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
asprin: Customizing Answer Set Preferences without a Headache. 1467-1474
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. 1475-1481
James P. Delgrande, Kewen Wang:
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs. 1482-1488
Jianfeng Du, Kewen Wang, Yi-Dong Shen:
Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. 1489-1495
Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin:
Parallelized Hitting Set Computation for Model-Based Diagnosis. 1503-1510
Jianmin Ji, Hai Wan, Peng Xiao:
On Elementary Loops and Proper Loops for Disjunctive Logic Programs. 1518-1524
Yuliya Lierler, Miroslaw Truszczynski:
An Abstract View on Modularity in Knowledge Representation. 1532-1538
Xudong Liu, Miroslaw Truszczynski:
Learning Partial Lexicographic Preference Trees over Combinatorial Domains. 1539-1545
Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari:
From Classical to Consistent Query Answering under Existential Rules. 1546-1552
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. 1560-1568
Claudia Schulz, Francesca Toni:
Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation. 1569-1575
Anika Schumann, Freddy Lécué:
Minimizing User Involvement for Accurate Ontology Matching Problems. 1576-1582
Christoph Schwering, Gerhard Lakemeyer:
Projection in the Epistemic Situation Calculus with Belief Conditionals. 1583-1589
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Belief Revision Games. 1590-1596
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. 1604-1610
Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. 1611-1617
Roni Tzvi Stern, Meir Kalech, Shelly Rogov, Alexander Feldman:
How Many Diagnoses Do We Need? 1618-1624
Hannes Strass:
The Relative Expressiveness of Abstract Argumentation and Logic Programming. 1625-1631
Akshaya Thippur, Chris Burbridge, Lars Kunze, Marina Alberti, John Folkesson, Patric Jensfelt, Nick Hawes:
A Comparison of Qualitative and Metric Spatial Relation Models for Scene Understanding. 1632-1640
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang:
Knowledge Forgetting in Circumscription: A Preliminary Report. 1649-1655
Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi:
Instance-Driven Ontology Evolution in DL-Lite. 1656-1662
Fei Wu, Jun Song, Yi Yang, Xi Li, Zhongfei (Mark) Zhang, Yueting Zhuang:
Structured Embedding via Pairwise Relations and Long-Range Interactions in Knowledge Base. 1663-1670
Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. 1678-1685
Machine Learning Applications
Sachinthaka Abeywardana, Fabio Ramos:
Variational Inference for Nonparametric Bayesian Quantile Regression. 1686-1692
Sarah Marie Brown, Andrea Webb, Rami Mangoubi, Jennifer G. Dy:
A Sparse Combined Regression-Classification Formulation for Learning a Physiological Alternative to Clinical Post-Traumatic Stress Disorder Scores. 1700-1706
Zheng Chen, Minmin Chen, Kilian Q. Weinberger, Weixiong Zhang:
Marginalized Denoising for Link Prediction and Multi-Label Learning. 1707-1713
Xin-Yu Dai, Jianbing Zhang, Shujian Huang, Jiajun Chen, Zhi-Hua Zhou:
Structured Sparsity with Group-Graph Regularization. 1714-1720
Huiji Gao, Jiliang Tang, Xia Hu, Huan Liu:
Content-Aware Point of Interest Recommendation on Location-Based Social Networks. 1721-1727
Matthew Gingerich, Cristina Conati:
Constructing Models of User and Task Characteristics from Eye Gaze Data for User-Adaptive Information Highlighting. 1728-1734
Anshul Gupta, Ricardo Gutierrez-Osuna, Matthew Christy, Boris Capitanu, Loretta Auvil, Liz Grumbach, Richard Furuta, Laura Mandell:
Automatic Assessment of OCR Quality in Historical Documents. 1735-1741
Nils Yannick Hammerla, James Fisher, Peter Andras, Lynn Rochester, Richard Walker, Thomas Ploetz:
PD Disease State Assessment in Naturalistic Environments Using Deep Learning. 1742-1748
Jiazhen He, James Bailey, Benjamin I. P. Rubinstein, Rui Zhang:
Identifying At-Risk Students in Massive Open Online Courses. 1749-1755
Mohamed Hamza Ibrahim, Christopher J. Pal, Gilles Pesant:
Exploiting Determinism to Scale Relational Inference. 1756-1762
Been Kim, Kayur Patel, Afshin Rostamizadeh, Julie A. Shah:
Scalable and Interpretable Data Representation for High-Dimensional, Complex Data. 1763-1769
Thomas A. Lasko:
Nonstationary Gaussian Process Regression for Evaluating Repeated Clinical Laboratory Tests. 1777-1783
Qing Li, LiLing Jiang, Ping Li, Hsinchun Chen:
Tensor-Based Learning for Predicting Stock Movements. 1784-1790
Zhe Lim, Benjamin I. P. Rubinstein:
Sub-Merge: Diving Down to the Attribute-Value Level in Statistical Schema Matching. 1791-1797
Zitao Liu, Milos Hauskrecht:
A Regularized Linear Dynamical System Framework for Multivariate Time Series Analysis. 1798-1804
Canyi Lu, Changbo Zhu, Chunyan Xu, Shuicheng Yan, Zhouchen Lin:
Generalized Singular Value Thresholding. 1805-1811
Baharan Mirzasoleiman, Ashwinkumar Badanidiyuru, Amin Karbasi, Jan Vondrák, Andreas Krause:
Lazier Than Lazy Greedy. 1812-1818
George D. Montanez, Saeed Amizadeh, Nikolay Laptev:
Inertial Hidden Markov Models: Modeling Change in Multivariate Time Series. 1819-1825
Richard Jayadi Oentaryo, Stephanus Daniel Handoko, Hoong Chuin Lau:
Algorithm Selection via Ranking. 1826-1832
Buyue Qian, Xiang Wang, Ian Davidson:
Propagating Ranking Functions on a Graph: Algorithms and Applications. 1833-1839
Jimmy S. J. Ren, Li Xu:
On Vectorization of Deep Convolutional Neural Networks for Vision Tasks. 1840-1846
Pedro Henrique Santana, Spencer Lane, Eric Timmons, Brian Charles Williams, Carlos Forster:
Learning Hybrid Models with Guarded Transitions. 1847-1853
Weiwei Shen, Jun Wang:
Transaction Costs-Aware Portfolio Optimization via Fast Lowner-John Ellipsoid Approximation. 1854-1860
Can Wang, Chi-Hung Chi, Wei Zhou, Raymond K. Wong:
Coupled Interdependent Attribute Analysis on Mixed Data. 1861-1867
Xin Wang, Ying Wang, Wanli Zuo, Guoyong Cai:
Exploring Social Context for Topic Identification in Short and Noisy Texts. 1868-1874
Ying Wang, Xin Wang, Jiliang Tang, Wanli Zuo, Guoyong Cai:
Modeling Status Theory in Trust Prediction. 1875-1881
Lan Wei, Yonghong Tian, Yaowei Wang, Tiejun Huang:
Swiss-System Based Cascade Ranking for Gait-Based Person Re-Identification. 1882-1888
Eric Wong, J. Zico Kolter:
An SVD and Derivative Kernel Approach to Learning from Geometric Data. 1889-1895
Pengtao Xie, Yulong Pei, Yuan Xie, Eric P. Xing:
Mining User Interests from Personal Photos. 1896-1902

Xin Xin, Chunwei Lu, Yashen Wang, Heyan Huang:
Forecasting Collector Road Speeds Under High Percentage of Missing Data. 1917-1923
Linli Xu, Aiqing Huang, Jianhui Chen, Enhong Chen:
Exploiting Task-Feature Co-Clusters in Multi-Task Learning. 1931-1937
Linli Xu, Yitan Li, Yubo Wang, Enhong Chen:
Temporally Adaptive Restricted Boltzmann Machine for Background Modeling. 1938-1944
Junchi Yan, Chao Zhang, Hongyuan Zha, Min Gong, Changhua Sun, Jin Huang, Stephen M. Chu, Xiaokang Yang:
On Machine Learning towards Predictive Sales Pipeline Analytics. 1945-1951
Bo Yang, Xuehua Zhao, Xueyan Liu:
Bayesian Approach to Modeling and Detecting Communities in Signed Network. 1952-1958
Quanming Yao, James T. Kwok:
Colorization by Patch-Based Local Low-Rank Matrix Completion. 1959-1965
Shandian Zhe, Zenglin Xu, Yuan Qi, Peng Yu:
Sparse Bayesian Multiview Learning for Simultaneous Association Discovery and Diagnosis of Alzheimer's Disease. 1966-1972
Shuai Zheng, Xiao Cai, Chris H. Q. Ding, Feiping Nie, Heng Huang:
A Closed Form Solution to Multi-View Low-Rank Regression. 1973-1979
Xiaowei Zhong, Linli Xu, Yitan Li, Zhiyuan Liu, Enhong Chen:
A Nonconvex Relaxation Approach for Rank Minimization Problems. 1980-1987
Multiagent Systems
Stefano Vittorino Albrecht, Jacob William Crandall, Subramanian Ramamoorthy:
An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types. 1988-1994
Christopher Amato, Frans A. Oliehoek:
Scalable Planning and Learning for Multiagent POMDPs. 1995-2002
Samuel Barrett, Peter Stone:
Cooperating with Unknown Teammates in Complex Domains: A Robot Soccer Case Study of Ad Hoc Teamwork. 2010-2016
Rahmatollah Beheshti, Awrad Mohammed Ali, Gita Reese Sukthankar:
Cognitive Social Learners: An Architecture for Modeling Normative Behavior. 2017-2023
Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types. 2031-2037
Petr Cermák, Alessio Lomuscio, Aniello Murano:
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. 2038-2044
Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon:
Elections with Few Voters: Candidate Control Can Be Easy. 2045-2051
Akin Günay, Songzheng Song, Yang Liu, Jie Zhang:
Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. 2060-2066
Mohammad Rashedul Hasan, Anita Raja, Ana L. C. Bazzan:
Fast Convention Formation in Dynamic Networks Using Topological Knowledge. 2067-2073
Panagiotis Kouvaros, Alessio Lomuscio:
A Counter Abstraction Technique for the Verification of Robot Swarms. 2081-2088
Haifang Li, Fei Tian, Wei Chen, Tao Qin, Zhiming Ma, Tie-Yan Liu:
Generalization Analysis for Game-Theoretic Machine Learning. 2089-2095
Patrick MacAlpine, Eric Price, Peter Stone:
SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning. 2096-2102
Ernesto Nunes, Maria L. Gini:
Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints. 2110-2116
Luke Riley, Katie Atkinson, Paul E. Dunne, Terry R. Payne:
Distributing Coalition Value Calculations to Coalition Members. 2117-2123
Piotr Krzysztof Skowron, Piotr Faliszewski:
Fully Proportional Representation with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time. 2124-2130
Piotr Krzysztof Skowron, Piotr Faliszewski, Jérôme Lang:
Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation. 2131-2137
Kevin Waugh, Dustin Morrill, James Andrew Bagnell, Michael H. Bowling:
Solving Games with Functional Regret Estimation. 2138-2145
NLP and Knowledge Representation
Danushka Bollegala, Takanori Maehara, Yuichi Yoshida, Ken-ichi Kawarabayashi:
Learning Word Representations from Relational Graphs. 2146-2152
Ziqiang Cao, Furu Wei, Li Dong, Sujian Li, Ming Zhou:
Ranking with Recursive Neural Networks and Its Application to Multi-Document Summarization. 2153-2159
Song Feng, Sujith Ravi, Ravi Kumar, Polina Kuznetsova, Wei Liu, Alexander C. Berg, Tamara L. Berg, Yejin Choi:
Refer-to-as Relations as Semantic Knowledge. 2160-2166
Rahul Jha, Reed Coke, Dragomir R. Radev:
Surveyor: A System for Generating Coherent Survey Articles for Scientific Topics. 2167-2173
Khang Nhut Lam, Feras Al Tarouti, Jugal K. Kalita:
Automatically Creating a Large Number of New Bilingual Dictionaries. 2174-2180
Yankai Lin, Zhiyuan Liu, Maosong Sun, Yang Liu, Xuan Zhu:
Learning Entity and Relation Embeddings for Knowledge Graph Completion. 2181-2187
Zhaohui Wu, C. Lee Giles:
Sense-Aaware Semantic Analysis: A Multi-Prototype Word Representation Model Using Wikipedia. 2188-2194
Yu Zhao, Zhiyuan Liu, Maosong Sun:
Phrase Type Sensitive Tensor Indexing Model for Semantic Composition. 2195-2202
NLP and Machine Learning
Zsolt Bitvai, Trevor Cohn:
Predicting Peer-to-Peer Loan Rates Using Bayesian Non-Linear Regression. 2203-2209
Ziqiang Cao, Sujian Li, Yang Liu, Wenjie Li, Heng Ji:
A Novel Neural Topic Model and Its Supervised Extension. 2210-2216
Devendra Singh Chaplot, Pushpak Bhattacharyya, Ashwin Paranjape:
Unsupervised Word Sense Disambiguation Using Markov Random Field and Dependency Parser. 2217-2223
Xingyuan Chen, Yunqing Xia, Peng Jin, John A. Carroll:
Dataless Text Classification with Descriptive LDA. 2224-2231
Lan Du, John K. Pate, Mark Johnson:
Topic Segmentation with an Ordering-Based Topic Model. 2232-2238
Simone Filice, Danilo Croce, Roberto Basili:
A Stratified Strategy for Efficient Kernel-Based Learning. 2239-2245
Dan Garrette, Chris Dyer, Jason Baldridge, Noah A. Smith:
Weakly-Supervised Grammar-Informed Bayesian CCG Parser Learning. 2246-2252
Dishan Gupta, Jaime G. Carbonell, Anatole Gershman, Steve Klein, David Miller:
Unsupervised Phrasal Near-Synonym Generation from Text Corpora. 2253-2259

Emmanuel Lassalle, Pascal Denis:
Joint Anaphoricity Detection and Coreference Resolution with Constrained Latent Structures. 2274-2280
Changsong Liu, Joyce Yue Chai:
Learning to Mediate Perceptual Differences in Situated Human-Robot Dialogue. 2288-2294
Tom M. Mitchell, William W. Cohen, Estevam R. Hruschka Jr., Partha Pratim Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, Ni Lao, Kathryn Mazaitis, Thahir Mohamed, Ndapandula Nakashole, Emmanouil Antonios Platanios, Alan Ritter, Mehdi Samadi, Burr Settles, Richard C. Wang, Derry Tanti Wijaya, Abhinav Gupta, Xinlei Chen, Abulhair Saparov, Malcolm Greaves, Joel Welling:
Never-Ending Learning. 2302-2310
Yanchuan Sim, Bryan R. Routledge, Noah A. Smith:
The Utility of Text: The Case of Amicus Briefs and the Supreme Court. 2311-2317
Andrei Arsene Simion, Michael Collins, Cliff Stein:
A Family of Latent Variable Convex Relaxations for IBM Model 2. 2318-2324
Svitlana Volkova, Benjamin Van Durme:
Online Bayesian Models for Personal Analytics in Social Media. 2325-2331
Fangzhao Wu, Yangqiu Song, Yongfeng Huang:
Microblog Sentiment Classification with Contextual Knowledge Regularization. 2332-2338
Jun Xie, Chao Ma, Janardhan Rao Doppa, Prashanth Mannem, Xiaoli Z. Fern, Thomas G. Dietterich, Prasad Tadepalli:
Learning Greedy Policies for the Easy-First Framework. 2339-2345
Ran Xu, Caiming Xiong, Wei Chen, Jason J. Corso:
Jointly Modeling Deep Video and Compositional Text to Bridge Vision and Language in a Unified Framework. 2346-2352
NLP and Text Mining

Wei-Te Chen, Claire Bonial, Martha Palmer:
English Light Verb Construction Identification Using Lexical Knowledge. 2368-2374
Chen Chen, Vincent Ng:
Chinese Common Noun Phrase Resolution: An Unsupervised Probabilistic Model Rivaling Supervised Resolvers. 2375-2381
Grant DeLozier, Jason Baldridge, Loretta London:
Gazetteer-Independent Toponym Resolution Using Geographic Word Profiles. 2382-2388
Xiao Ding, Ting Liu, Junwen Duan, Jian-Yun Nie:
Mining User Consumption Intention from Social Media Using Domain Adaptive Convolutional Neural Network. 2389-2395
Chikara Hashimoto, Kentaro Torisawa, Julien Kloetzer, Jong-Hoon Oh:
Generating Event Causality Hypotheses through Semantic Relations. 2396-2403
Wenyi Huang, Zhaohui Wu, Liang Chen, Prasenjit Mitra, C. Lee Giles:
A Neural Probabilistic Model for Context Based Citation Recommendation. 2404-2410
Huayi Li, Arjun Mukherjee, Jianfeng Si, Bing Liu:
Extracting Verb Expressions Implying Negative Opinions. 2411-2417
Yassine Mrabet, Claire Gardent, Muriel Foulonneau, Elena Simperl, Eric Ras:
Towards Knowledge-Driven Annotation. 2425-2431
Ashequl Qadir, Pablo N. Mendes, Daniel Gruhl, Neal Lewis:
Semantic Lexicon Induction from Twitter with Pattern Relatedness and Flexible Term Length. 2432-2439
Anders Søgaard, Barbara Plank, Héctor Martínez Alonso:
Using Frame Semantics for Knowledge Extraction from Twitter. 2447-2452
Andrew Yates, Nazli Goharian, Ophir Frieder:
Extracting Adverse Drug Reactions from Social Media. 2460-2467
Deyu Zhou, Liangyu Chen, Yulan He:
An Unsupervised Framework of Exploring Events on Twitter: Filtering, Extraction and Categorization. 2468-2475
Novel Machine Learning Algorithms
Tameem Adel, Alexander Wong:
A Probabilistic Covariate Shift Assumption for Domain Adaptation. 2476-2482
Ibrahim M. Alabdulmohsin, Xin Gao, Xiangliang Zhang:
Efficient Active Learning of Halfspaces via Query Synthesis. 2483-2489
Kareem Amin, Satyen Kale, Gerald Tesauro, Deepak S. Turaga:
Budgeted Prediction with Expert Advice. 2490-2496
Olov Andersson, Fredrik Heintz, Patrick Doherty:
Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization. 2497-2503
Haitham Bou-Ammar, Eric Eaton, Paul Ruvolo, Matthew E. Taylor:
Unsupervised Cross-Domain Transfer in Policy Gradient Reinforcement Learning via Manifold Alignment. 2504-2510
Thomas Boucher, C. J. Carey, Sridhar Mahadevan, Melinda Darby Dyar:
Aligning Mixed Manifolds. 2511-2517
Wei Cao, Liang Hu, Longbing Cao:
Deep Modeling Complex Couplings within Financial Markets. 2518-2524
Kai-Wei Chang, Shyam Upadhyay, Gourab Kundu, Dan Roth:
Structural Learning with Amortized Inference. 2525-2531
Xiaojun Chang, Feiping Nie, Zhigang Ma, Yi Yang, Xiaofang Zhou:
A Convex Formulation for Spectral Shrunk Clustering. 2532-2538
Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi:
Learning Relational Kalman Filtering. 2539-2546
Ujjwal Das Gupta, Erik Talvitie, Michael Bowling:
Policy Tree: Adaptive Representation for Policy Gradient. 2547-2553
Charanpal Dhanjal, Romaric Gaudel, Stéphan Clémençon:
Collaborative Filtering with Localised Ranking. 2554-2560
Yi Ding, Peilin Zhao, Steven C. H. Hoi, Yew-Soon Ong:
An Adaptive Gradient Method for Online AUC Maximization. 2568-2574
Finale Doshi-Velez, Byron C. Wallace, Ryan P. Adams:
Graph-Sparse LDA: A Topic Model with Structured Sparsity. 2575-2581
Changying Du, Shandian Zhe, Fuzhen Zhuang, Yuan Qi, Qing He, Zhongzhi Shi:
Bayesian Maximum Margin Principal Component Analysis. 2582-2588
Zhouyu Fu, Feifei Pan, Cheng Deng, Wei Liu:
Optimizing Bag Features for Multiple-Instance Retrieval. 2596-2602
Longwen Gao, Shuigeng Zhou:
Learning Sparse Representations from Datasets with Uncertain Group Structures: Model, Algorithm and Applications. 2603-2609
Debarghya Ghoshdastidar, Ambedkar Dukkipati:
Spectral Clustering Using Multilinear SVD: Analysis, Approximations and Applications. 2610-2616



Kazuo Hara, Ikumi Suzuki, Masashi Shimbo, Kei Kobayashi, Kenji Fukumizu, Milos Radovanovic:
Localized Centering: Reducing Hubness in Large-Sample Data. 2645-2651
Anna Harutyunyan, Sam Devlin, Peter Vrancx, Ann Nowé:
Expressing Arbitrary Reward Functions as Potential-Based Advice. 2652-2658
Junjie Hu, Haiqin Yang, Irwin King, Michael R. Lyu, Anthony Man-Cho So:
Kernelized Online Imbalanced Learning with Fixed Budgets. 2666-2672
De-An Huang, Amir-massoud Farahmand, Kris M. Kitani, James Andrew Bagnell:
Approximate MaxEnt Inverse Optimal Control and Its Application for Mental Simulation of Human Interactions. 2673-2679
Gao Huang, Jianwen Zhang, Shiji Song, Zheng Chen:
Maximin Separation Probability Clustering. 2680-2686
Rui Huang, Fengyuan Zhu, Pheng-Ann Heng:
The Dynamic Chinese Restaurant Process via Birth and Death Processes. 2687-2693
Lu Jiang, Deyu Meng, Qian Zhao, Shiguang Shan, Alexander G. Hauptmann:
Self-Paced Curriculum Learning. 2694-2700
Nathaniel Korda, Prashanth L. A., Rémi Munos:
Fast Gradient Descent for Drifting Least Squares Regression, with Application to Bandits. 2708-2714
Alex Kulesza, Nan Jiang, Satinder P. Singh:
Spectral Learning of Predictive State Representations with Insufficient Statistics. 2715-2721
Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
A Generalized Reduced Linear Program for Markov Decision Processes. 2722-2728
Johannes Lederer, Christian Müller:
Don't Fall for Tuning Parameters: Tuning-Free Variable Selection in High Dimensions With the TREX. 2729-2735
Chao Li, Qibin Zhao, Junhua Li, Andrzej Cichocki, Lili Guo:
Multi-tensor Completion with Common Structures. 2743-2749
Yeqing Li, Feiping Nie, Heng Huang, Junzhou Huang:
Large-Scale Multi-View Spectral Clustering via Bipartite Graph. 2750-2756
Wenzhao Lian, Piyush Rai, Esther Salazar, Lawrence Carin:
Integrating Features and Similarities: Flexible Models for Heterogeneous Multiview Data. 2757-2763
Anqi Liu, Lev Reyzin, Brian D. Ziebart:
Shift-Pessimistic Active Learning Using Robust Bias-Aware Prediction. 2764-2770
April H. Liu, Leonard K. M. Poon, Nevin Lianwen Zhang:
Unidimensional Clustering of Discrete Data Using Latent Tree Models. 2771-2777
Meng Liu, Yong Luo, Dacheng Tao, Chao Xu, Yonggang Wen:
Low-Rank Multi-View Learning in Matrix Completion for Multi-Label Image Classification. 2778-2784
Song Liu, Taiji Suzuki, Masashi Sugiyama:
Support Consistency of Direct Sparse-Change Learning in Markov Networks. 2785-2791
Wei Liu, Cun Mu, Rongrong Ji, Shiqian Ma, John R. Smith, Shih-Fu Chang:
Low-Rank Similarity Metric Learning in High Dimensions. 2792-2799
Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang:
Absent Multiple Kernel Learning. 2807-2813
Kian Hsiang Low, Jiangbo Yu, Jie Chen, Patrick Jaillet:
Parallel Gaussian Process Regression for Big Data: Low-Rank Representation Meets Markov Approximation. 2821-2827
Zhiwu Lu, Xin Gao, Liwei Wang, Ji-Rong Wen, Songfang Huang:
Noise-Robust Semi-Supervised Learning by Large-Scale Sparse Coding. 2828-2834
Tengfei Ma, Issei Sato, Hiroshi Nakagawa:
The Hybrid Nested/Hierarchical Dirichlet Process and its Application to Topic Modeling with Word Differentiation. 2835-2841
Patrick MacAlpine, Mike Depinet, Peter Stone:
UT Austin Villa 2014: RoboCup 3D Simulation League Champion via Overlapping Layered Learning. 2842-2848
Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic:
The Queue Method: Handling Delay, Heuristics, Prior Data, and Evaluation in Bandits. 2849-2856
David Martínez Martínez, Guillem Alenyà, Carme Torras:
V-MIN: Efficient Reinforcement Learning through Demonstrations and Relaxed Reward Demands. 2857-2863
Charles Mathy, Nate Derbinsky, José Bento, Jonathan Rosenthal, Jonathan S. Yedidia:
The Boundary Forest Algorithm for Online Supervised and Unsupervised Learning. 2864-2870
Shike Mei, Xiaojin Zhu:
Using Machine Teaching to Identify Optimal Training-Set Attacks on Machine Learners. 2871-2877
Tu Dinh Nguyen, Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Tensor-Variate Restricted Boltzmann Machines. 2887-2893
Mahdi Pakdaman Naeini, Gregory F. Cooper, Milos Hauskrecht:
Obtaining Well Calibrated Probabilities Using Bayesian Binning. 2901-2907
Brandon Shane Parker, Latifur Khan:
Detecting and Tracking Concept Class Drift and Emergence in Non-Stationary Fast Data Streams. 2908-2913
Leto Peel, Aaron Clauset:
Detecting Change Points in the Large-Scale Structure of Evolving Networks. 2914-2920
Matteo Pirotta, Simone Parisi, Marcello Restelli:
Multi-Objective Reinforcement Learning with Continuous Pareto Frontier Approximation. 2928-2934
Piyush Rai, Yingjian Wang, Lawrence Carin:
Leveraging Features and Networks for Probabilistic Tensor Decomposition. 2942-2948
Sashank Jakkam Reddi, Barnabás Póczos, Alexander J. Smola:
Doubly Robust Covariate Shift Correction. 2949-2955
Peter Schulam, Fredrick Wigley, Suchi Saria:
Clustering Longitudinal Clinical Marker Trajectories from Electronic Health Data: Applications to Phenotyping and Endotype Discovery. 2956-2964
Bin Shen, Bao-Di Liu, Qifan Wang, Yi Fang, Jan P. Allebach:
SP-SVM: Large Margin Classifier for Data on Multiple Manifolds. 2965-2971
Yangqiu Song, Chenguang Wang, Ming Zhang, Hailong Sun, Qiang Yang:
Spectral Label Refinement for Noisy and Missing Text Labels. 2972-2978
Paul A. Szerlip, Gregory Morse, Justin K. Pugh, Kenneth O. Stanley:
Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation. 2979-2985

Philip S. Thomas, Georgios Theocharous, Mohammad Ghavamzadeh:
High-Confidence Off-Policy Evaluation. 3000-3006
Joel Veness, Marc G. Bellemare, Marcus Hutter, Alvin Chua, Guillaume Desjardins:
Compress and Control. 3016-3023
Arun Venkatraman, Martial Hebert, J. Andrew Bagnell:
Improving Multi-Step Prediction of Learned Time Series Models. 3024-3030
Cheng Wan, Xiaoming Jin, Guiguang Ding, Dou Shen:
Gaussian Cardinality Restricted Boltzmann Machines. 3031-3037
Boyu Wang, Joelle Pineau:
Online Boosting Algorithms for Anytime Transfer and Multitask Learning. 3038-3044
Hanmo Wang, Liang Du, Peng Zhou, Lei Shi, Yi-Dong Shen:
Convex Batch Mode Active Sampling via α-Relative Pearson Divergence. 3045-3051
Hao Wang, Xingjian Shi, Dit-Yan Yeung:
Relational Stacked Denoising Autoencoder for Tag Recommendation. 3052-3058
Hua Wang, Feiping Nie, Heng Huang:
Learning Robust Locality Preserving Projection via p-Order Minimization. 3059-3065
Wei Wang, Hao Wang, Chen Zhang, Fanjiang Xu:
Transfer Feature Representation via Multiple Kernel Learning. 3073-3079
Martha White, Junfeng Wen, Michael Bowling, Dale Schuurmans:
Optimal Estimation of Multivariate ARMA Models. 3080-3086
Robert William Wright, Xingye Qiao, Steven Loscalzo, Lei Yu:
Improving Approximate Value Iteration with Complex Returns by Bounding. 3087-3093
Ga Wu, Scott Sanner, Rodrigo F. S. C. Oliveira:
Bayesian Model Averaging Naive Bayes (BMA-NB): Averaging over an Exponential Number of Feature Models in Linear Time. 3094-3100
Hongteng Xu, Licheng Yu, Dixin Luo, Hongyuan Zha, Yi Xu:
Dictionary Learning with Mutually Reinforcing Group-Graph Structures. 3101-3107
Hongteng Xu, Hongyuan Zha, Ren-Cang Li, Mark A. Davenport:
Active Manifold Learning via Gershgorin Circle Guided Sample Selection. 3108-3114
Zenglin Xu, Rong Jin, Bin Shen, Shenghuo Zhu:
Nystrom Approximation for Sparse Kernel Methods: Theoretical Analysis and Empirical Evaluation. 3115-3121
Yuto Yamaguchi, Christos Faloutsos, Hiroyuki Kitagawa:
OMNI-Prop: Seamless Node Classification on Arbitrary Label Correlation. 3122-3128
Yuya Yoshikawa, Tomoharu Iwata, Hiroshi Sawada:
Non-Linear Regression for Bag-of-Words Data via Gaussian Process Latent Variable Set Model. 3129-3135
Takayuki Yoshizumi:
A Mathematical Programming-Based Approach to Determining Objective Functions from Qualitative and Subjective Comparisons. 3136-3142
Hongyang Zhang, Zhouchen Lin, Chao Zhang, Edward Y. Chang:
Exact Recoverability of Robust PCA via Outlier Pursuit with Tight Recovery Bounds. 3143-3149
Kun Zhang, Mingming Gong, Bernhard Schölkopf:
Multi-Source Domain Adaptation: A Causal View. 3150-3157
Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Online Bandit Learning for a Special Class of Non-Convex Losses. 3158-3164
Shengping Zhang, Shiva Kasiviswanathan, Pong C. Yuen, Mehrtash Harandi:
Online Dictionary Learning on Symmetric Positive Definite Manifolds with Vision Applications. 3165-3173
Xianchao Zhang, Linlin Zong, Xinyue Liu, Hong Yu:
Constrained NMF-Based Multi-View Clustering on Unmapped Data. 3174-3180
Han Zhao, Pascal Poupart, Yongfeng Zhang, Martin Lysy:
SoF: Soft-Cluster Matrix Factorization for Probabilistic Clustering. 3188-3195
Qian Zhao, Deyu Meng, Lu Jiang, Qi Xie, Zongben Xu, Alexander G. Hauptmann:
Self-Paced Learning for Matrix Factorization. 3196-3202
Yi Zhen, Piyush Rai, Hongyuan Zha, Lawrence Carin:
Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision. 3203-3209
Quan Zhou, Wenlin Chen, Shiji Song, Jacob R. Gardner, Kilian Q. Weinberger, Yixin Chen:
A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing. 3210-3216
Feiyun Zhu, Bin Fan, Xinliang Zhu, Ying Wang, Shiming Xiang, Chunhong Pan:
10, 000+ Times Accelerated Robust Subset Selection. 3217-3224
Planning and Scheduling
Meysam Aghighi, Peter Jonsson, Simon Ståhlberg:
Tractable Cost-Optimal Planning over Restricted Polytree Causal Graphs. 3225-3231
Christer Bäckström:
Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs. 3232-3238
Jeb Brooks, Emilia Reed, Alexander Gruver, James C. Boerkoel:
Robustness in Probabilistic Temporal Planning. 3239-3246
Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman:
SMT-Based Nonlinear PDDL+ Planning. 3247-3253
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. 3254-3260
Hao Cui, Roni Khardon, Alan Fern, Prasad Tadepalli:
Factored MCTS for Large Scale Stochastic Planning. 3261-3267
Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar:
Transition Constraints for Parallel Planning. 3268-3274
Robert P. Goldman, Ugur Kuter:
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric. 3275-3282
Eric A. Hansen, Ibrahim Abdoulahi:
Efficient Bounds in Heuristic Search Algorithms for Stochastic Shortest Path Problems. 3283-3290
Robert C. Holte, Yusra Alkhazraji, Martin Wehrle:
A Generalization of Sleep Sets Based on Operator Sequence Redundancy. 3291-3297
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler:
Variable-Deletion Backdoors to Planning. 3305-3312
Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang:
Preference Planning for Markov Decision Processes. 3313-3319
Hang Ma, Joelle Pineau:
Information Gathering and Reward Exploitation of Subgoals for POMDPs. 3320-3326
Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. 3327-3334
Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp:
From Non-Negative to General Operator Cost Partitioning. 3335-3341
Pascal Poupart, Aarti Malhotra, Pei Pei, Kee-Eung Kim, Bongseok Goh, Michael Bowling:
Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes. 3342-3348
Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek:
Exploiting Submodular Value Functions for Faster Dynamic Sensor Selection. 3356-3363
Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter:
Automatic Configuration of Sequential Planning Portfolios. 3364-3370
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle:
Heuristics and Symmetries in Classical Planning. 3371-3377
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
Factored Symmetries for Merge-and-Shrink Abstractions. 3378-3385
Sriram Srinivasan, Erik Talvitie, Michael H. Bowling:
Improving Exploration in UCT Using Local Manifolds. 3386-3392
Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart J. Russell:
Tractability of Planning with Loops. 3393-3401
Luis Gustavo Rocha Vianna, Leliane N. de Barros, Scott Sanner:
Real-Time Symbolic Dynamic Programming. 3402-3408
Kyle Hollins Wray, Shlomo Zilberstein, Abdel-Illah Mouaddib:
Multi-Objective MDPs with Conditional Lexicographic Reward Preferences. 3418-3424
Peng Yu, Cheng Fang, Brian Charles Williams:
Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation. 3425-3431
Zizhen Zhang, Huang He, Zhixing Luo, Hu Qin, Songshan Guo:
An Efficient Forest-Based Tabu Search Algorithm for the Split-delivery Vehicle Routing Problem. 3432-3438
Reasoning under Uncertainty
Ehsan Abbasnejad, Justin Domke, Scott Sanner:
Loss-Calibrated Monte Carlo Action Selection. 3447-3453
Yossiri Adulyasak, Pradeep Varakantham, Asrar Ahmed, Patrick Jaillet:
Solving Uncertain MDPs with Objectives that Are Separable over Instantiations of Model Uncertainty. 3454-3460
Hadi Mohasel Afshar, Scott Sanner, Ehsan Abbasnejad:
Linear-Time Gibbs Sampling in Piecewise Graphical Models. 3461-3467
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. 3468-3474
Nahla Ben Amor, Fatma Essghaier, Hélène Fargier:
Egalitarian Collective Decision Making under Qualitative Possibilistic Uncertainty: Principles and Characterization. 3482-3488
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Optimal Cost Almost-Sure Reachability in POMDPs. 3496-3502
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Value of Information Based on Decision Robustness. 3503-3510
Yuxin Chen, Shervin Javdani, Amin Karbasi, J. Andrew Bagnell, Siddhartha S. Srinivasa, Andreas Krause:
Submodular Surrogates for Value of Information. 3511-3518
Fábio Gagliardi Cozman, Denis Deratani Mauá:
Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity. 3519-3525
Xiannian Fan, Changhe Yuan:
An Improved Lower Bound for Bayesian Network Structure Learning. 3526-3532
Darrell Hoy, Evdokia Nikolova:
Approximately Optimal Risk-Averse Routing Policies via Adaptive Discretization. 3533-3539
Thomas Keller, Florian Geißer:
Better Be Lucky than Good: Exceeding Expectations in MDP Evaluation. 3540-3547
Hyeoneun Kim, Woosang Lim, Kanghoon Lee, Yung-Kyun Noh, Kee-Eung Kim:
Reward Shaping for Model-Based Bayesian Reinforcement Learning. 3548-3555
Kanghoon Lee, Kee-Eung Kim:
Tighter Value Function Bounds for Bayesian Reinforcement Learning. 3556-3563
Phillip Odom, Tushar Khot, Reid Porter, Sriraam Natarajan:
Knowledge-Based Probabilistic Logic Learning. 3564-3570
Aaditya Ramdas, Sashank Jakkam Reddi, Barnabás Póczos, Aarti Singh, Larry A. Wasserman:
On the Decreasing Power of Kernel and Distance Based Nonparametric Hypothesis Tests in High Dimensions. 3571-3577
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. 3578-3584
Michael John Schofield, Michael Thielscher:
Lifting Model Sampling for General Game Playing to Incomplete-Information Models. 3585-3591
Alexander Shleyfman, Antonín Komenda, Carmel Domshlak:
On Interruptible Pure Exploration in Multi-Armed Bandits. 3592-3598
Guy Van den Broeck, Mathias Niepert:
Lifted Probabilistic Inference for Asymmetric Graphical Models. 3599-3605
Deepak Venugopal, Somdeb Sarkhel, Vibhav Gogate:
Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs. 3606-3612
Andrew J. Wang, Brian C. Williams:
Chance-Constrained Scheduling via Conflict-Directed Risk Allocation. 3620-3627
Jeremy C. Weiss, Sriraam Natarajan, C. David Page Jr.:
Learning to Reject Sequential Importance Steps for Continuous-Time Bayesian Networks. 3628-3634
Chongjie Zhang, Julie A. Shah:
On Fairness in Decision-Making under Uncertainty: Definitions, Computation, and Comparison. 3642-3648
Xiaoyuan Zhu, Changhe Yuan:
An Exact Algorithm for Solving Most Relevant Explanation in Bayesian Networks. 3649-3656
Robotics
José Bento, Nate Derbinsky, Charles Mathy, Jonathan S. Yedidia:
Proximal Operators for Multi-Agent Path Planning. 3657-3663
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. 3664-3671
Mathew Monfort, Anqi Liu, Brian D. Ziebart:
Intent Prediction and Trajectory Forecasting via Predictive Inverse Linear-Quadratic Regulation. 3672-3678
David Ray Thompson, David Wettergreen, Greydon T. Foil, P. Michael Furlong, Anatha Ravi Kiran:
Spatio-Spectral Exploration Combining In Situ and Remote Measurements. 3679-3685
Yezhou Yang, Yi Li, Cornelia Fermüller, Yiannis Aloimonos:
Robot Learning Manipulation Action Plans by "Watching" Unconstrained Videos from the World Wide Web. 3686-3693
Search and Constraint Satisfaction
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl:
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. 3694-3701
Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez:
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. 3710-3716
Christian Bessiere, Anastasia Paparrizou, Kostas Stergiou:
Strong Bounds Consistencies and Their Application to Linear Constraints. 3717-3723
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli:
SMT-Based Validation of Timed Failure Propagation Graphs. 3724-3730
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny:
Binarisation via Dualisation for Valued Constraints. 3731-3737
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
SAT-Based Strategy Extraction in Reachability Games. 3738-3745
Philippe Jégou, Cyril Terrioux:
The Extendable-Triple Property: A New CSP Tractable Class beyond BTP. 3746-3754
Vision
Jayanta Kumar Dutta, Bonny Banerjee:
Online Detection of Abnormal Events Using Incremental Coding Length. 3755-3761
Tarek El-Gaaly, Vicky Froyen, Ahmed M. Elgammal, Jacob Feldman, Manish Singh:
A Bayesian Approach to Perceptual 3D Object-Part Decomposition Using Skeleton-Based Representations. 3762-3768
Chuang Gan, Ming Lin, Yi Yang, Yueting Zhuang, Alexander G. Hauptmann:
Exploring Semantic Inter-Class Relationships (SIR) for Zero-Shot Action Recognition. 3769-3775
Jun Guo, Changhu Wang, Hongyang Chao:
Building Effective Representations for Sketch Recognition. 3776-3782
Yuchen Guo, Guiguang Ding, Xiaoming Jin, Jianmin Wang:
Learning Predictable and Discriminative Attributes for Visual Recognition. 3783-3789
Johannes Lederer, Sergio Guadarrama:
Compute Less to Get More: Using ORC to Improve Sparse Filtering. 3797-3803
Chaochao Lu, Xiaoou Tang:
Surpassing Human-Level Face Verification Performance on LFW with GaussianFace. 3811-3819
Wenhan Luo, Björn Stenger, Xiaowei Zhao, Tae-Kyun Kim:
Automatic Topic Discovery for Multi-Object Tracking. 3820-3826
Xi Peng, Zhang Yi, Huajin Tang:
Robust Subspace Clustering via Thresholding Ridge Regression. 3827-3833
Junchi Yan, Jun Wang, Hongyuan Zha, Xiaokang Yang, Stephen M. Chu:
Multi-View Point Registration via Alternating Optimization. 3834-3840
Yan Yan, Yi Yang, Haoquan Shen, Deyu Meng, Gaowen Liu, Alexander G. Hauptmann, Nicu Sebe:
Complex Event Detection via Event Oriented Dictionary Learning. 3841-3847
Shuo Yang, Ping Luo, Chen Change Loy, Kenneth W. Shum, Xiaoou Tang:
Deep Representation Learning with Target Coding. 3848-3854
Haonan Yu, Jeffrey Mark Siskind:
Learning to Describe Video with Weak Supervision by Exploiting Negative Sentential Information. 3855-3863
Liming Zhao, Xi Li, Jun Xiao, Fei Wu, Yueting Zhuang:
Metric Learning Driven Multi-Task Structured Output Optimization for Robust Keypoint Tracking. 3864-3870
Erjin Zhou, Haoqiang Fan, Zhimin Cao, Yuning Jiang, Qi Yin:
Learning Face Hallucination in the Wild. 3871-3877
Chao Zhu, Yuxin Peng:
A Boosted Multi-Task Model for Pedestrian Detection with Occlusion Handling. 3878-3886
Innovative Applications of Artificial Intelligence - Deployed Applications

Amit Dhurandhar, Rajesh Kumar Ravi, Bruce Graves, Gopikrishnan Maniachari, Markus Ettl:
Robust System for Identifying Procurement Fraud. 3896-3903
Leonard Kinnaird-Heether, Chris Dorman:
Position Assignment on an Enterprise Level Using Combinatorial Optimization. 3904-3911
Juan Liu, Eric Bier, Aaron Wilson, Tomonori Honda, Kumar Sricharan, Leilani Gilpin, John Alexis Guerra Gómez, Daniel Davies:
Graph Analysis for Detecting Fraud, Waste, and Abuse in Healthcare Data. 3912-3919
Sathappan Muthiah, Bert Huang, Jaime Arredondo, David Mares, Lise Getoor, Graham Katz, Naren Ramakrishnan:
Planned Protest Modeling in News and Social Media. 3920-3927
Edward D. Thompson, Ethan Frolich, James C. Bellows, Benjamin E. Bassford, Edward J. Skiko, Mark S. Fox:
Process Diagnosis System (PDS) - A 30 Year History. 3928-3934
Innovative Applications of Artificial Intelligence - Emerging Applications
Brooke Cowan, Sven Zethelius, Brittany Luk, Teodora Baras, Prachi Ukarde, Daodao Zhang:
Named Entity Recognition in Travel-Related Search Queries. 3935-3941
Murthy V. Devarakonda, Ching-Huei Tsou:
Automated Problem List Generation from Electronic Medical Records in IBM Watson. 3942-3947
Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin:
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. 3948-3953
David John Gagne II, Amy McGovern, Jerald Brotzge, Michael Coniglio, James Correia Jr., Ming Xue:
Day-Ahead Hail Prediction Integrating Machine Learning with Storm-Scale Numerical Weather Models. 3954-3960
Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston:
Capturing Human Route Preferences From Track Information: New Results. 3961-3966
Christophe Guettier, Willy Lamal, Israel Mayk, Jacques Yelloz:
Design and Experiment of a Collaborative Planning Service for NetCentric International Brigade Command. 3967-3974
Greg Hines, Alexandra Swanson, Margaret Kosmala, Chris J. Lintott:
Aggregating User Input in Ecology Citizen Science Projects. 3975-3980
Sasin Janpuangtong, Dylan A. Shell:
Leveraging Ontologies to Improve Model Generalization Automatically with Online Data Sources. 3981-3986
Ugur Kuter, Mark H. Burstein, J. Benton, Daniel Bryce, Jordan Tyler Thayer, Steve McCoy:
HACKAR: Helpful Advice for Code Knowledge and Attack Resilience. 3987-3992
Andres Quiroz, Eric Huang, Luca Ceriani:
A Robust and Extensible Tool for Data Integration Using Data Type Models. 3993-3998
Paul Taele, Laura Barreto, Tracy Anne Hammond:
Maestoso: An Intelligent Educational Sketching Tool for Learning Music Theory. 3999-4005
Amulya Yadav, Leandro Soriano Marcolino, Eric Rice, Robin Petering, Hailey Winetrobe, Harmony Rhoades, Milind Tambe, Heather Carmichael:
Preventing HIV Spread in Homeless Populations Using PSINET. 4006-4011
Meng Zhao, Faizan Javed, Ferosh Jacob, Matt McNair:
SKILL: A System for Skill Identification and Normalization. 4012-4018
Innovative Applications of Artificial Intelligence - Challenge Problem Papers
Peter Clark:
Elementary School Science and Math Tests as a Driver for AI: Take the Aristo Challenge! 4019-4021
Jeremy Hyrkas, Daniel Halperin, Bill Howe:
Time-Varying Clusters in Large-Scale Flow Cytometry. 4022-4023
Leora Morgenstern, Charles L. Ortiz Jr.:
The Winograd Schema Challenge: Evaluating Progress in Commonsense Reasoning. 4024-4026
Senior Member Papers
Bonnie J. Dorr, Lucian Galescu, Ian E. Perera, Kristy Hollingshead-Seitz, David Atkinson, Micah Clark, William Clancey, Yorick Wilks, Eric Fosler-Lussier:
Speech Adaptation in Extended Ambient Intelligence Environments. 4027-4031
Sarit Kraus:
Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients. 4032-4036

Dana S. Nau, Malik Ghallab, Paolo Traverso:
Blended Planning and Acting: Preliminary Approach, Research Challenges. 4047-4051
Jussi Rintanen:
Impact of Modeling Languages on the Theory and Practice in Planning Research. 4052-4056
Tuomas Sandholm:
Steering Evolution Strategically: Computational Game Theory and Opponent Exploitation for Treatment Planning, Drug Design, and Synthetic Biology. 4057-4061
Howard Elliot Shrobe, Boris Katz, Randall Davis:
Towards a Programmer's Apprentice (Again). 4062-4066


Xiaojin Zhu:
Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education. 4083-4087

Cristina Conati, Giuseppe Carenini, Dereck Toker, Sébastien Lallé:
Towards User-Adaptive Information Visualization. 4100-4106




Student Abstracts
Saad Alqithami:
A Succinct Conceptualization of the Foundations for a Network Organization Paradigm. 4140-4141
Julio César Bahamón, Camille Barot, Robert Michael Young:
A Goal-Based Model of Personality for Planning-Based Narrative Generation. 4142-4143
Matt Barnes, Nick Gisolfi, Madalina Fiterau, Artur Dubrawski:
Leveraging Common Structure to Improve Prediction across Related Datasets. 4144-4145



Priya Lekha Donti, Jacob Rosenbloom, Alex Gruver, James C. Boerkoel Jr.:
Predicting the Quality of User Experiences to Improve Productivity and Wellness. 4154-4155
Zhanwei Du, Yongjian Yang, Chuang Ma, Yuan Bai:
Modelling Individual Negative Emotion Spreading Process with Mobile Phones. 4156-4157

Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry:
Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. 4162-4163
Nick Gisolfi, Madalina Fiterau, Artur Dubrawski:
Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System. 4164-4165
Sviatlana Höhn:
Dealing with Trouble: A Data-Driven Model of a Repair Type for a Conversational Agent. 4166-4167
Hadi Hosseini, Kate Larson, Robin Cohen:
On Manipulablity of Random Serial Dictatorship in Sequential Matching with Dynamic Preferences. 4168-4169
Xinxin Jiang, Wei Liu, Longbing Cao, Guodong Long:
Coupled Collaborative Filtering for Context-aware Recommendation. 4172-4173
Mackenzie Leake, Liyu Xia, Kamil Rocki, Wayne Imaino:
Effect of Spatial Pooler Initialization on Column Activity in Hierarchical Temporal Memory. 4176-4177


Vaishnavh Nagarajan, Leandro Soriano Marcolino, Milind Tambe:
Every Team Deserves a Second Chance: Identifying When Things Go Wrong (Student Abstract Version). 4184-4185
Phillip Odom, Sriraam Natarajan:
Active Advice Seeking for Inverse Reinforcement Learning. 4186-4187
Swetasudha Panda, Yevgeniy Vorobeychik:
Designing Vaccines that Are Robust to Virus Escape. 4188-4189
Natalie Parde, Michalis Papakostas, Konstantinos Tsiakas, Rodney D. Nielsen:
"Is It Rectangular?" Using I Spy as an Interactive, Game-Based Approach to Multimodal Robot Learning. 4190-4191
Mahboobeh Parsapoor, John Brooke, Bertil Svensson:
A New Computational Intelligence Model for Long-Term Prediction of Solar and Geomagnetic Activity. 4192-4193
Charles Peabody, Jennifer Seitzer:
GEF: A Self-Programming Robot Using Grammatical Evolution. 4194-4195
Jedrzej Potoniec, Agnieszka Lawrynowicz:
Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning. 4198-4199
Siting Ren, Sheng Gao, Jianxin Liao, Jun Guo:
Improving Cross-Domain Recommendation through Probabilistic Cluster-Level Latent Factor Model. 4200-4201
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. 4202-4203
Jingyu Shao, Junfu Yin, Wei Liu, Longbing Cao:
Actionable Combined High Utility Itemset Mining. 4206-4207
Samta Shukla, Aditya Telang, Salil Joshi, L. Venkata Subramaniam:
Spatio-Temporal Signatures of User-Centric Data: How Similar Are We? 4208-4209
Wenting Tu, David Wai-Lok Cheung, Nikos Mamoulis:
Improving Microblog Retrieval from Exterior Corpus by Automatically Constructing Microblogging Corpus. 4212-4213
Wenting Tu, David Wai-Lok Cheung, Nikos Mamoulis:
Time-Sensitive Opinion Mining for Prediction. 4214-4215
Gabriele Valentini, Heiko Hamann, Marco Dorigo:
Self-Organized Collective Decision-Making in a 100-Robot Swarm. 4216-4217
Heting Wu, Hailong Sun, Yili Fang, Kefan Hu, Yongqing Xie, Yangqiu Song, Xudong Liu:
Combining Machine Learning and Crowdsourcing for Better Understanding Commodity Reviews. 4220-4221
Kun Xu, Sheng Zhang, Yansong Feng, Songfang Huang, Dongyan Zhao:
What Is the Longest River in the USA? Semantic Parsing for Aggregation Questions. 4222-4223
Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang:
Accelerating SAT Solving by Common Subclause Elimination. 4224-4225
Ruohan Zhang, Zhao Song, Dana H. Ballard:
Global Policy Construction in Modular Reinforcement Learning. 4226-4227
Tian Zhou, Maria Eugenia Cabrera, Juan Pablo Wachs:
Touchless Telerobotic Surgery - Is It Possible at All? 4228-4230
Doctoral Consortium

Ferdinando Fioretto:
Exploiting the Structure of Distributed Constraint Optimization Problems. 4233-

Charmgil Hong, Milos Hauskrecht:
Multivariate Conditional Anomaly Detection and Its Clinical Application. 4239-4240


Wei Kuang, Laura E. Brown, Zhenlin Wang:
Transfer Learning-Based Co-Run Scheduling for Heterogeneous Datacenters. 4247-4248



Leandro Soriano Marcolino:
Multi-Agent Team Formation: Solving Complex Problems by Aggregating Opinions. 4257-4258

Demonstrations
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo:
A Planning-Based Assistance System for Setting Up a Home Theater. 4264-4265
Alain Biem, Maria Butrico, Mark Feblowitz, Tim Klinger, Yuri Malitsky, Kenney Ng, Adam Perer, Chandra Reddy, Anton Riabov, Horst Samulowitz, Daby M. Sow, Gerald Tesauro, Deepak S. Turaga:
Towards Cognitive Automation of Data Science. 4268-4269
Noam Brown, Sam Ganzfried, Tuomas Sandholm:
Tartanian7: A Champion Two-Player No-Limit Texas Hold'em Poker-Playing Program. 4270-4271
Jun Chen, Chaokun Wang, Yiyuan Bai:
CrowdMR: Integrating Crowdsourcing with MapReduce for AI-Hard Problems. 4272-4273
Sheng Gao, Dai Zhang, Honggang Zhang, Chao Huang, Yongsheng Zhang, Jianxin Liao, Jun Guo:
VecLP: A Realtime Video Recommendation System for Live TV Programs. 4274-4275
Maxime Guériau, Romain Billot, Nour-Eddin El Faouzi, Salima Hassas, Frédéric Armetta:
Multi-Agent Dynamic Coupling for Cooperative Vehicles Modeling. 4276-4277

Tobias Linnenberg, Alexander Fay, Michael Kaisers:
Bottom-Up Demand Response by Following Local Energy Generation Voluntarily. 4282-4283

Yamuna Prasad, Kanad K. Biswas:
Gene Selection in Microarray Datasets Using Progressively Refined PSO Scheme. 4288-4289
Hanumant Harichandra Redkar, Sudha Baban Bhingardive, Diptesh Kanojia, Pushpak Bhattacharyya:
World WordNet Database Structure: An Efficient Schema for Storing Information of WordNets of the World. 4290-4291
Ryan A. Rossi, Nesreen K. Ahmed:
The Network Data Repository with Interactive Graph Analytics and Visualization. 4292-4293
Vasile Rus, Nobal B. Niraula, Rajendra Banjade:
DeepTutor: An Effective, Online Intelligent Tutoring System That Promotes Deep Learning. 4294-4295
Svitlana Volkova, Yoram Bachrach, Michael Armstrong, Vijay Sharma:
Inferring Latent User Properties from Texts Published in Social Media. 4296-4297
Stefan J. Witwicki, Francesco Mondada:
Circumventing Robots' Failures by Embracing Their Faults: A Practical Approach to Planning for Autonomous Construction. 4298-4299
Xinfeng Zhang, Su Yang, Yuan Yan Tang, Weishan Zhang:
Crowd Motion Monitoring with Thermodynamics-Inspired Feature. 4300-4302
Virtual Agent Demonstrations
Margot Lhommet, Yuyu Xu, Stacy Marsella:
Cerebella: Automatic Generation of Nonverbal Behavior for Virtual Humans. 4303-4304
Louis-Philippe Morency, Giota Stratou, David DeVault, Arno Hartholt, Margot Lhommet, Gale M. Lucas, Fabrizio Morbini, Kallirroi Georgila, Stefan Scherer, Jonathan Gratch, Stacy Marsella, David R. Traum, Albert A. Rizzo:
SimSensei Demonstration: A Perceptive Virtual Human Interviewer for Healthcare Applications. 4307-4308
Florian Pecune, Béatrice Biancardi, Yu Ding, Catherine Pelachaud, Maurizio Mancini, Giovanna Varni, Antonio Camurri, Gualtiero Volpe:
LOL - Laugh Out Loud. 4309-4310
Julie Porteous, Fred Charles, Marc Cavazza:
Using Social Relationships to Control Narrative Generation. 4311-4312
Stephen G. Ware, Robert Michael Young, Christian Stith, Phillip Wright:
Interactive Narrative Planning in The Best Laid Plans. 4313-4315
What's Hot Abstracts






Sven Wachsmuth, Dirk Holz, Maja Rudinac, Javier Ruiz-del-Solar:
RoboCup@Home - Benchmarking Domestic Service Robots. 4328-4329



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
